Pensieve header: A bug in IdentifyWithin reported by Michal Jablonowski.

<< KnotTheory`

K=PD[X[7,1,8,30],X[12,20,13,19],X[5,25,6,24],X[17,5,18,4],X[2,16,3,15],X[13,10,14,11],X[6,23,7,24],X[8,22,9,21],X[22,1,23,2],X[18,12,19,11],X[14,28,15,27],X[9,28,10,29],X[3,26,4,27],X[29,20,30,21],X[16,25,17,26]];

DrawMorseLink[K]

Import["http://katlas.org/w/index.php?title=IdentifyWithin.m&action=raw"];

IDs=IdentifyWithin[K,AllKnots[{0,13}]]

IdentifyWithin[K,Complement[AllKnots[{0,13}], IDs]]

IDs2=IdentifyWithin[K,AllKnots[]]

Kh[IDs[[1]]][q,t]

Kh[IDs2[[1]]][q,t]

IdentifyWithin[K,AllKnots[{0,13}], Invariants->{Kh[#][q,t]&}]